Search Results for 'Typepair;functionconsh;I(;)returns(pair);functionlefth;I(pair)returns();axiom(8h;Ia:;b:left(cons(a;b))=a);typesequence;functionlengthhI(sequence)returns(int);functionemptysequence'

Typepair;functionconsh;I(;)returns(pair);functionlefth;I(pair)returns();axiom(8h;Ia:;b:left(cons(a;b))=a);typesequence;functionlengthhI(sequence)returns(int);functionemptysequence published presentations and documents on DocSlides.

No results to display